home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / t3_1 / tman.lha / tman / object.tex / images.pl (.txt) < prev    next >
LaTeX Document  |  1990-10-02  |  4KB  |  90 lines
  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate images original text with physical files.
  3. $key = q//;
  4. $cached_env_img{$key} = q|<IMG
  5.   STYLE="height: 9.65ex; vertical-align: 167.72ex; " SRC="|."$dir".q|img2.png"
  6.  ALT="\begin{inset}{}
  7. A {\tt LAMBDA}-expression evaluates to a procedure.
  8. When the pro...
  9. ... variable {\tt Z} that is in scope when {\it procedure\/} is called.
  10. \end{inset}">|; 
  11. $key = q/Longrightarrow;MSF=1.6;AAT/;
  12. $cached_env_img{$key} = q|<IMG
  13.  STYLE="height: 2.38ex; vertical-align: 176.85ex; " SRC="|."$dir".q|img20.png"
  14.  ALT="$\Longrightarrow$">|; 
  15. $key = q/{codexenv}(DEFINEA(LIST'P'Q))(DEFINEB(LIST'P'Q)){codexenv};AAT/;
  16. $cached_env_img{$key} = q|<IMG
  17.   STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img5.png"
  18.  ALT="\begin{codexenv}
  19. (DEFINE A (LIST 'P 'Q)) \\\\
  20. (DEFINE B (LIST 'P 'Q))
  21. \end{codexenv}">|; 
  22. $key = q/{codexenv}(EQ?'(ABC)'(ABC)){codexenv};AAT/;
  23. $cached_env_img{$key} = q|<IMG
  24.   STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img9.png"
  25.  ALT="\begin{codexenv}
  26. (EQ? '(A B C) '(A B C))
  27. \end{codexenv}">|; 
  28. $key = q/{codexenv}(EQ?'FOO'FOO){Longrightarrow{{{it{true}{codexenv};MSF=1.6;AAT/;
  29. $cached_env_img{$key} = q|<IMG
  30.   STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img11.png"
  31.  ALT="\begin{codexenv}
  32. (EQ? 'FOO 'FOO) $\Longrightarrow$ {\it true}
  33. \end{codexenv}">|; 
  34. $key = q/{codexenv}(LET((F(LAMBDA()'(ABC))))(EQ?(F)(F))){Longrightarrow{{{it{true}{codexenv};MSF=1.6;AAT/;
  35. $cached_env_img{$key} = q|<IMG
  36.   STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img10.png"
  37.  ALT="\begin{codexenv}
  38. (LET ((F (LAMBDA () '(A B C)))) (EQ? (F) (F))) $\Longrightarrow$ {\it true}
  39. \end{codexenv}">|; 
  40. $key = q/{codexenv}(LET((SETLIST)(X5))((BLOCKSET)X8)){Longrightarrow{(58){codexenv};MSF=1.6;AAT/;
  41. $cached_env_img{$key} = q|<IMG
  42.   STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img4.png"
  43.  ALT="\begin{codexenv}
  44. (LET ((SET LIST) (X 5)) ((BLOCK SET) X 8)) $\Longrightarrow$ (5 8)
  45. \end{codexenv}">|; 
  46. $key = q/{codexenv}(LET((SETLIST)(X5))(SETX8)){Longrightarrow{8{{bf{not}(58){codexenv};MSF=1.6;AAT/;
  47. $cached_env_img{$key} = q|<IMG
  48.   STYLE="height: 2.17ex; vertical-align: 175.15ex; " SRC="|."$dir".q|img3.png"
  49.  ALT="\begin{codexenv}
  50. (LET ((SET LIST) (X 5)) (SET X 8)) $\Longrightarrow$ 8 {\bf not} (5 8)
  51. \end{codexenv}">|; 
  52. $key = q/{codexenv}(SET(CARA)'R)A{Longrightarrow{(RQ)B{Longrightarrow{(PQ){codexenv};MSF=1.6;AAT/;
  53. $cached_env_img{$key} = q|<IMG
  54.   STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img6.png"
  55.  ALT="\begin{codexenv}
  56. (SET (CAR A) 'R) \\\\
  57. A $\Longrightarrow$ (R Q) \\\\
  58. B $\Longrightarrow$ (P Q)
  59. \end{codexenv}">|; 
  60. $key = q/{codexenv}(eq?'#{{tt{F}'()){longrightarrow{{{it{undefined}{codexenv};MSF=1.6;AAT/;
  61. $cached_env_img{$key} = q|<IMG
  62.   STYLE="height: 9.65ex; vertical-align: 169.00ex; " SRC="|."$dir".q|img19.png"
  63.  ALT="\begin{codexenv}
  64. (eq? '\char93 {\tt F} '()) $\longrightarrow$ {\it undefined} \\\\
  65. \end{codexenv}">|; 
  66. $key = q/{inset}{}Readsyntaxforcanonical{{it{true}object.{inset};AAT/;
  67. $cached_env_img{$key} = q|<IMG
  68.   STYLE="height: 2.17ex; vertical-align: 176.68ex; " SRC="|."$dir".q|img13.png"
  69.  ALT="\begin{inset}{}
  70. Read syntax for canonical {\it true} object.
  71. \end{inset}">|; 
  72. $key = q/{inset}{}Readsyntaxfor{{it{empty-list}object.{inset};AAT/;
  73. $cached_env_img{$key} = q|<IMG
  74.   STYLE="height: 4.76ex; vertical-align: 174.02ex; " SRC="|."$dir".q|img15.png"
  75.  ALT="\begin{inset}{}
  76. Read syntax for {\it empty-list} object.
  77. \end{inset}">|; 
  78. $key = q/{inset}{}Returnstrueif{{it{objectslash}isasymbol.{inset};AAT/;
  79. $cached_env_img{$key} = q|<IMG
  80.   STYLE="height: 2.38ex; vertical-align: 176.40ex; " SRC="|."$dir".q|img12.png"
  81.  ALT="\begin{inset}{}
  82. Returns true if {\it object\/} is a symbol.
  83. \end{inset}">|; 
  84. $key = q/{inset}{}Thissystemvariablehasasitsvaluethecanonicalfalseobject#{{tt{F}.{inset};AAT/;
  85. $cached_env_img{$key} = q|<IMG
  86.   STYLE="height: 2.17ex; vertical-align: 176.68ex; " SRC="|."$dir".q|img16.png"
  87.  ALT="\begin{inset}{}
  88. This system variable has as its value the canonical false object \char93 {\tt F}.
  89. \end{inset}">|; 
  90.